On the bus ride home last night, I started reading Algebras,
Lattices, Varieties by McKenzie, McNulty, and Taylor.
I felt like I was flying through the first chapter until they
threw in the line that all monoids are extensions of semigroups
but not all semigroups can be extended into monoids.
(
definitions )